package psd.model.Prolog;

import java.util.Hashtable;

public class DefaultGenerationToolbox extends FactGenerationToolbox
{

    public DefaultGenerationToolbox()
    {
        provider = new LocalIDGenerator();
        fqntrans = new LocalIDFQNTranslator((LocalIDGenerator)provider);
        idresolver = new IDResolver(fqntrans, provider);
        tresolver = new TypeResolver(fqntrans, idresolver);
        manager = new IDManagerIType(fqntrans, provider);
        prologWriter = new FactFileWriter();  
        //prologWriter = Context.Instance().getFactWriter();
        relinkedParents = new Hashtable();
        syntheticConstructorIds = new Hashtable();
        packages = new Hashtable();
        labels = new Hashtable();
        anonClassNumber = 0;
    } 
}
